Conceptual closure in Anselm’s proof: reply to
نویسندگان
چکیده
This paper provides replies to the objections Tony Roark presented (Roark, T. 2003. ‘Conceptual closure in Anselm’s proof’, History and Philosophy of Logic 24) to my reconstruction of Anselm’s famous argument in the Proslogion (Klima, G. 2000. ‘Saint Anselm’s Proof: A Problem of Reference, Intentional Identity and Mutual Understanding’, in G. Holmström-Hintikka, Medieval Philosophy and Modern Times, Dordrecht: Kluwer Academic Publishers, 69 – 87). The replies argue that Roark’s objections actually strengthen the general conclusion of my original paper concerning the different attitudes one can take toward Anselm’s argument, depending on whether one refers to that than which nothing greater can be thought ‘constitutively’ or ‘parasitically’. In agreement with Roark, however, at the end of the paper I also indicate some of the broader implications of this distinction worthy of further exploration.
منابع مشابه
Conceptual Closure in Anselm’s Proof
Gyula Klima maintains that Anselm’s ontological argument is best understood in terms of a theory of reference that was made fully explicit only by later medievals. I accept the interpretative claim but offer here two objections to the argument so interpreted. The first points up a certain ambiguity in Klima’s formulation of the argument, the correction of which requires a substantive revision o...
متن کاملThe Ontological Parody: A Reply to Joshua Ernst’s “Charles Hartshorne and the Ontological Argument”
Charles Hartshorne argues that Kant’s criticisms of Anselm’s onto logical argument were not directed against its strongest formulation. Kant criticised the argument on the famous grounds that existence is not a predicate (B620–30); however, Hartshorne argued that there is a modal distinction that needs to be made between existing contingently and existing necessarily, and while “existence” per...
متن کاملA Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument
I use mechanized verification to examine several firstand higher-order formalizations of Anselm’s Ontological Argument against the charge of begging the question. I propose three different criteria for a premise to beg the question in fully formal proofs and find that one or another applies to all the formalizations examined. My purpose is to demonstrate that mechanized verification provides an...
متن کاملThe One Fatal Flaw in Anselm’s Argument
Anselm’s Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm...
متن کاملMechanized Analysis Of a Formalization of Anselm’s Ontological Argument by Eder and Ramharter∗
Eder and Ramharter [7] propose requirements to be satisfied by formal reconstructions of informal arguments and illustrate these with their own reconstructions of Anselm’s Ontological Argument: one in classical (higher-order) logic, and one in modal logic. I reproduce and mechanically check their classical reconstruction in the PVS verification system and present this as an illustration of the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003